1. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science)
رده :
QA9
.
54
.
L64
2003
2. Logic for concurrency and synchronisation]CD[
پدیدآورنده : edited by Ruy J.G.B. de Queiroz
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Proof theory,، Modality )Logic(,، Parallel programming )Computer science(
رده :
CD
1743-35
3. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
رده :
E-BOOK
4. P-Prolog, a parallel logic programming language
پدیدآورنده : Yang, Rong
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
Y36
1987
5. P-Prolog a parallel logic programming language
پدیدآورنده : Yang, Rong
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12V36
1987
6. P-Prolog, a parallel logic programming language
پدیدآورنده : Yang, Rong
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
.
Y36
1987
7. P-Prolog, a parallel logic programming language
پدیدآورنده : Yang, Rong.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
Y36
1987
8. Parallel and distributed logic programming
پدیدآورنده : / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Parallel programming (Computer science),Electronic data processing, Distributed processing,Logic programming,Petri nets
9. Parallel and distributed logic programming
پدیدآورنده : / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
رده :
QA76
.
642
.
B484
2006
10. Parallel and distributed logic programming
پدیدآورنده : / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
رده :
QA76
.
642
.
B484
2006
11. Parallel logic programming
پدیدآورنده :
موضوع : Parallel programming )Computer science(,Logic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Parallel logic programming in PARLOG : the language and its implementation
پدیدآورنده : Gregory, Steve.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(
13. Parallel logic programming in parlog : the language & its implementation
پدیدآورنده : Gregory, Steve
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PARLOG )Computer program language( , Logic programming , Parallel programming )Computer science(
رده :
QA
76
.
73
.
P194
G74